Näytetään tulokset 1 - 10 / 533
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Axiomatization of Classical Thermodynamics

Pekkanen, M.
-1998 Julkaisujen tiedon ikoni

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals

Vertaisarvioitu
DOI
10.48550/arXiv.2304.02964
Barbero, Fausto; Virtema, Jonni
Lecture Notes in Computer Science2023 Julkaisujen tiedon ikoni

On strongly ech-complete spaces

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.topol.2020.107348
Hohti, Aarno; Junnila, Heikki; Meroño, Ana S.
Topology and Its Applications2020 Julkaisujen tiedon ikoni

Axiomatization of approximate exclusion

Vertaisarvioitu
Avoin saatavuus
DOI
10.24963/kr.2024/38
Häggblom, Matilda
KR 2024, the 21st International Conference on Principles of Knowledge Representation and Reasoning2024 Julkaisujen tiedon ikoni

Complete logics for elementary team properties

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/jsl.2022.80
Kontinen, Juha; Yang, Fan
Journal of Symbolic Logic2023 Julkaisujen tiedon ikoni

Minimizing Finite Complete Prefixes

Vertaisarvioitu
Heljanko, K.
Warsaw University1999 Julkaisujen tiedon ikoni

Recursive constructions of complete caps

Vertaisarvioitu
Davydov, A.A; Östergård, P.R.J.
Journal of Statistical Planning and Inference2001 Julkaisujen tiedon ikoni

Smoothened complete electrode model

Vertaisarvioitu
Avoin saatavuus
DOI
10.1137/17M1124292
Hyvönen, Nuutti; Mustonen, Lauri
SIAM Journal on Applied Mathematics2017 Julkaisujen tiedon ikoni

Switching in one-factorisations of complete graphs

Vertaisarvioitu
Kaski, Petteri; de Souza Medeiros, André; Östergård, Patric R.J.; Wanless, Ian M.
Electronic Journal of Combinatorics2014 Julkaisujen tiedon ikoni

Computer search for small complete caps

Vertaisarvioitu
Östergård, P.R.J.
Journal of Geometry2000

Axiomatization of Classical Thermodynamics

1998

Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals

Vertaisarvioitu
DOI
10.48550/arXiv.2304.02964
2023

On strongly ech-complete spaces

Vertaisarvioitu
Avoin saatavuus
DOI
10.1016/j.topol.2020.107348
2020

Axiomatization of approximate exclusion

Vertaisarvioitu
Avoin saatavuus
DOI
10.24963/kr.2024/38
2024

Complete logics for elementary team properties

Vertaisarvioitu
Avoin saatavuus
DOI
10.1017/jsl.2022.80
2023

Minimizing Finite Complete Prefixes

Vertaisarvioitu
1999

Recursive constructions of complete caps

Vertaisarvioitu
2001

Smoothened complete electrode model

Vertaisarvioitu
Avoin saatavuus
DOI
10.1137/17M1124292
2017

Switching in one-factorisations of complete graphs

Vertaisarvioitu
2014

Computer search for small complete caps

Vertaisarvioitu
2000